In this paper we propose a formal theory of partitions (ways of dividing up or sorting or mapping reality) and we show how the theory can be applied in the geospatial domain. We characterize partitions at two levels: as systems of cells (theory A), and in terms of their projective relation to reality (theory B). We lay down conditions of well-formedness for partitions and we define what it means for partitions to project truly onto reality. We continue by classifying well-formed (...) partitions along three axes: (a) degree of correspondence between partition cells and objects in reality; (b) degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) degree of completeness and exhaustiveness with which a partition represents reality. This classification is used to characterize three types of partitions that play an important role in spatial information science: cadastral partitions, categorical coverages, and the partitions involved in folk categorizations of the geospatial domain. (shrink)

The rapidly declining biosphere integrity, representing one of the core planetary boundaries, is alarming. One of the most widely accepted measures to halt the rate of biodiversity loss is to maintain and expand protected areas that are effectively managed. However, it requires substantial finance derived from nature-based tourism, specifically visitors from urban areas. Using the Bayesian Mindsponge Framework (BMF) on 535 Vietnamese urban residents, the current study examined how their biodiversity loss perceptions can affect their willingness to pay for the (...) entrance fee and conservation in protected areas. We found that perceived environmental degradation, loss of economic growth, loss of nature-based recreation opportunity, and loss of knowledge as consequences of biodiversity loss has indirect effects on paying willingness through the mediation of the attitude towards conservation. Especially, the perceived knowledge loss also has a direct positive influence on the willingness to pay for the entrance fee and conservation. In contrast, perceived loss of health is negatively associated with the attitude towards conservation. Based on these findings, we suggest that building an eco-surplus culture among urban residents can be a promising way to generate more finance from nature-based tourism for conservation in protected areas and ease the domestic government's and international organizations' funding allocations problems. (shrink)

Immanuel Kant is known for his ideas about duty and morally worthy acts, but his conception of virtue is less familiar. Nevertheless Kant’s understanding of virtue is quite distinctive and has considerable merit compared to the most familiar conceptions. Kant also took moral education seriously, writing extensively on both the duty of adults to cultivate virtue and the empirical conditions to prepare children for this life-long responsibility. Our aim is, first, to explain Kant’s conception of virtue, second, to highlight some (...) distinctive and potentially appealing features of the Kantian account of virtue, third, to summarize and explain Kant’s prescriptions for educating young children and youth as well as the duty of moral self-improvement that he attributes to all adults, and, fourth, to respond to some common objections that we regard as misguided or insubstantial. (shrink)

Since the end of the Cold War, international ethicists have focused largely on issues outside the traditional scope of security studies. The nuclear ethics literature needs to be revived and reoriented to address the new and evolving 21st century nuclear threats and policy responses.

This article advances a critical analysis of John Rawls’s justification of liberal democratic nuclear deterrence in the post-Cold War era as found in The Law of Peoples. Rawls’s justification overlooked how nuclear-armed liberal democracies are ensnared in two intransigent ethical dilemmas: one in which the mandate to secure liberal constitutionalism requires both the preservation and violation of important constitutional provisions in domestic affairs, and the other in which this same mandate requires both the preservation and violation of the liberal commitment (...) to international legal arrangements and to the rule of law generally. On this view, the choice to violate constitutional provisions and international legal arrangements is evidence of nuclear despotism. Moreover, this choice does not imply that the ethical foreign policy dilemmas were resolved. Instead, it implies that the dilemmas force liberal democratic governments into implementing ethically paradoxical policy outcomes. (shrink)

This paper presents an axiomatic formalization of a theory of top-level relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the sub-universal relation among universals and the parthood relation among individuals, as well as cross-categorial relations such as instantiation and membership. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical for (...) geographic information processing. The axiomatic theory is developed using Isabelle, a computational system for implementing logical formalisms. All proofs are computer verified and the computational representation of the theory is available online. (shrink)

Products made from animal fur and skin have been a major part of human civilization. However, in modern society, the unsustainable consumption of these products – often considered luxury goods – has many negative environmental impacts. This study explores how people’s perceptions of biodiversity affect their attitudes and behaviors toward consumption. To investigate the information process deeper, we add the moderation of beliefs about biodiversity loss. Following the Bayesian Mindsponge Framework (BMF) analytics, we use mindsponge-based reasoning for constructing conceptual models (...) and employ Bayesian analysis aided by Markov Chain Monte Carlo (MCMC) algorithms on a dataset of 535 Vietnamese urban residents. The results show that people’s preference for using products made from animal skin/fur is negatively associated with perceived consequences of biodiversity loss when they believe biodiversity loss is real and a major problem. In contrast, if urban residents believe biodiversity loss is unreal or not a significant issue, the association between perceived consequences of biodiversity loss and personal preference happens in the opposite direction. The same effects of biodiversity loss perception on people’s possession of skin/fur products was not found, indicating a more complex information process on behaviors compared to attitudes. Nevertheless, in the scenario that people believe biodiversity loss is not a significant issue, the higher the perceived consequences of biodiversity loss are, the greater number of animal-based products they likely own. Our results suggest that policymakers should not neglect the factor of personal belief besides knowledge and awareness in environmental campaigns. (shrink)

We have a variety of different ways of dividing up, classifying, mapping, sorting and listing the objects in reality. The theory of granular partitions presented here seeks to provide a general and unified basis for understanding such phenomena in formal terms that is more realistic than existing alternatives. Our theory has two orthogonal parts: the first is a theory of classification; it provides an account of partitions as cells and subcells; the second is a theory of reference or intentionality; it (...) provides an account of how cells and subcells relate to objects in reality. We define a notion of well-formedness for partitions, and we give an account of what it means for a partition to project onto objects in reality. We continue by classifying partitions along three axes: (a) in terms of the degree of correspondence between partition cells and objects in reality; (b) in terms of the degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) in terms of the degree of completeness with which a partition represents this domain. (shrink)

Recent revelations of Iran’s hitherto undisclosed uranium enrichment programs have once again incited western fears that Tehran seeks nuclear weapons’ capability. Their fears seem motivated by more than the concern for compliance with the Nuclear Nonproliferation Treaty (NPT). Rather, they seem strongly connected to the western moral assumptions about what kind of government or people can be trusted with a nuclear arsenal. In this paper, I critically examine the western assumptions of the immorality of contemporary nuclear proliferation from an international (...) ethical stance that otherwise might be expected to give it unequivocal support – the stance of Kantian nonideal theory. In contrast to the uses of Kant that were prominent during the Cold War, I advance and apply a sketch of a Kantian nonideal theory that specifies the conditions (although strict conditions) under which nuclear proliferation for states like Iran is morally permissible even though the NPT forbids it. (shrink)

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes and the enduring entities that participate therein. For this purpose we introduce the notion a directly depicting ontology. Directly depicting ontologies are based on relatively simple languages and fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and employ distinct though compatible systems of categories. A SNAP (snapshot) ontology comprehends enduring entities such as (...) organisms, geographic features, or qualities as they exist at some given moment of time. A SPAN ontology comprehends perduring entities such as processes and their parts and aggregates as they unfold themselves through some temporal interval. We give an axiomatic account of the theory of directly depicting ontologies and of the core parts of the metaontological fragment within which they are embedded. (shrink)

Abstract: We propose a view of vagueness as a semantic property of names and predicates. All entities are crisp, on this semantic view, but there are, for each vague name, multiple portions of reality that are equally good candidates for being its referent, and, for each vague predicate, multiple classes of objects that are equally good candidates for being its extension. We provide a new formulation of these ideas in terms of a theory of granular partitions. We show that this (...) theory provides a general framework within which we can understand the relation between vague terms and concepts and the corresponding crisp portions of reality. We also sketch how it might be possible to formulate within this framework a theory of vagueness which dispenses with the notion of truth-value gaps and other artifacts of more familiar approaches. Central to our approach is the idea that judgments about reality involve in every case (1) a separation of reality into foreground and background of attention and (2) the feature of granularity. On this basis we attempt to show that even vague judgments made in naturally occurring contexts are not marked by truth-value indeterminacy. We distinguish, in addition to crisp granular partitions, also vague partitions, and reference partitions, and we explain the role of the latter in the context of judgments that involve vagueness. We conclude by showing how reference partitions provide an effective means by which judging subjects are able to temper the vagueness of their judgments by means of approximations. (shrink)

Description Logics are nowadays widely accepted as formalisms which provide reasoning facilities which allow us to discover inconsistencies in ontologies in an automatic fashion. Where ontologies are developed in modular fashion, they allow changes in one module to propogated through the system of ontologies automatically in a way which helps to maintain consistency and stability. For this feature to be utilized effectively, however, requires that domain ontologies be represented in a normalized form.

Published in extended form as "Endurants and Perdurants in Directly Depicting Ontologies", -/- We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes and the enduring entities that participate in such processes. For this purpose we distinguish between ontologies and metaontology. Ontologies are based on very simple directly depicting languages and fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and result in distinct (...) though compatible systems of categories. In a SNAP (snapshot) ontology we have the enduring entities in a given domain as they exist to be inventoried at some given moment of time. In a SPAN ontology we have perduring entities such as processes and their parts and aggregates. We argue that both kinds of ontology are required, together with the meta-ontology which joins them together. On the level of meta-ontology we are able to impose constraints on ontologies of a sort which can support efficient processing of large amounts of data. (shrink)

The theory of granular partitions is designed to capture in a formal framework important aspects of the selective character of common-sense views of reality. It comprehends not merely the ways in which we can view reality by conceiving its objects as gathered together not merely into sets, but also into wholes of various kinds, partitioned into parts at various levels of granularity. We here represent granular partitions as triples consisting of a rooted tree structure as first component, a domain satisfying (...) the axioms of Extensional Mereology as second component, and a mapping (called ’projection’) of the first into the second as a third component. We define ordering relations among granular partitions the resulting structures are called partition frames. We then introduce an axiomatic theory which sentences are interpreted in partition frames. (shrink)

We propose a new account of vagueness and approximation in terms of the theory of granular partitions. We distinguish different kinds of crisp and non-crisp granular partitions and we describe the relations between them, concentrating especially on spatial examples. We describe the practice whereby subjects use regular grid-like reference partitions as a means for tempering the vagueness of their judgments, and we demonstrate how the theory of reference partitions can yield a natural account of this practice, which is referred to (...) in the literature as ‘approximation’. (shrink)

This paper provides an axiomatic formalization of a theory of foundational relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the is-a relation among universals and the part-of relation among individuals as well as cross-category relations such as instance-of, member-of, and partition-of. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical (...) for formal ontology. We provide examples to support this thesis from the domain of biomedicine. (shrink)

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes (occurrents) and the enduring entities (continuants) that participate in such processes. For this purpose we distinguish between meta-ontology and token ontologies. Token ontologies fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and result in distinct though compatible systems of categories. The meta-ontological level then describes the relationships between the different token ontologies. In (...) a SNAP (snapshot) ontology we have enduring entities such as substances, qualities, roles, functions as these exist to be inventoried at a given moment of time. In a SPAN ontology we have perduring entities such as processes and their parts and aggregates. We argue that both kinds of ontological theory are required, together with the metaontology which joins them together, in order to give a non-reductionistic account of both static and dynamic aspects of the geospatial world. (shrink)

There are some who defend a view of vagueness according to which there are intrinsically vague objects or attributes in reality. Here, in contrast, we defend a view of vagueness as a semantic property of names and predicates. All entities are crisp, on this view, but there are, for each vague name, multiple portions of reality that are equally good candidates for being its referent, and, for each vague predicate, multiple classes of objects that are equally good candidates for being (...) its extension. We provide a new formulation of these ideas in terms of a theory of granular partitions. We show that this theory provides a general framework within which we can understand the relation between vague terms and concepts on the one hand and correlated portions of reality on the other. We also sketch how it might be possible to formulate within this framework a theory of vagueness which dispenses with the notion of truth-value gaps and other artifacts of more familiar approaches. (shrink)

Two senses of ‘ontology’ can be distinguished in the current literature. First is the sense favored by information scientists, who view ontologies as software implementations designed to capture in some formal way the consensus conceptualization shared by those working on information systems or databases in a given domain. [Gruber 1993] Second is the sense favored by philosophers, who regard ontologies as theories of different types of entities (objects, processes, relations, functions) [Smith 2003]. Where information systems ontologists seek to maximize reasoning (...) efficiency even at the price of simplifications on the side of representation, philosophical ontologists argue that representational adequacy can bring benefits for the stability and resistance to error of an ontological framework and also for its extendibility in the future. In bioinformatics, however, a third sense of ‘ontology’ has established itself, above all as a result of the successes of the Gene Ontology (hereafter: GO), which is a tool for the representation and processing of information about gene products and their biological functions [Gene Ontology Consortium 2000]. We show how Basic Formal Ontology (BFO) has established itself as an overarching ontology drawing on all three of the strands distinguished above, and describe applications of BFO especially in the treatment of biological granularity. (shrink)

This three-part paper presents Gordon Pask’s conversation theory (CT) and interaction of actors theory (IA) and outlines ways to apply these cybernetic approaches to designing technologies and scenarios for both formal and informal learning. The first part of the paper covers concepts central to CT and IA, explaining the relationship between conceptual and mechanical operators, and machines mediating informal and formal learning. The second part of the paper applies visual representations of CT and IA to understanding the use of Pask’s (...) course assembly systems (CASTE and THOUGHTSTICKER), created between the late 1960s and the 1980s, and the ThoughtShuffler search interface, created in the 2010s. The third part proposes two pathways for design based on CT and IA: firstly, the potential for designers and observers to reformulate the qualities of tools and learning scenarios to augment human thinking and collective action; and secondly, the possibility to create tools with malleable interfaces that allow users to become intermediaries rather than consumers of knowledge. (shrink)

Existing ethical guidelines that aim to guide the development of mental health apps tend to overemphasize the role of Western conceptual frameworks. While such frameworks have proved to be a useful first step in introducing ethics to a previously unregulated industry, the rapid global uptake of mental health apps requires thinking more deeply about the diverse populations these apps seek to serve. One way to do this is to introduce more intercultural ethical perspectives into app design and the guidelines that (...) aim to encourage best practices. In addition to this, existing ethical guidelines can also benefit from the ethical scholarship from the feminist and disability traditions, both of which highlight specific ethical considerations for vulnerable users. Rethinking the ethical responsibilities of mental health app designers through the prisms of feminism, disability studies, and intercultural philosophy leads us to a more global and inclusive set of ethical considerations in app design. This white paper explores what existing guidelines for the regulation of mental health apps are missing. It also explores how these guidelines could be improved for users who inhabit an increasingly diverse and globalized world. (shrink)

It has long been recognized that temporal anaphora in French and English depends on the aspectual distinction between events and states. For example, temporal location as well as temporal update depends on the aspectual type. This paper presents a general theory of aspect-based temporal anaphora, which extends from languages with grammatical tenses (like French and English) to tenseless languages (e.g. Kalaallisut). This theory also extends to additional aspect-dependent phenomena and to non-atomic aspectual types, processes and habits, which license anaphora to (...) proper atomic parts (cf. nominal pluralities and kinds). (shrink)

Climate change, pollution, and deforestation have a negative impact on global mental health. There is an environmental justice dimension to this challenge as wealthy people and high-income countries are major contributors to climate change and pollution, while poor people and low-income countries are heavily affected by the consequences. Using state-of-the art data mining, we analyzed and visualized the global research landscape on mental health, climate change, pollution and deforestation over a 15-year period. Metadata of papers were exported from PubMed®, and (...) both relevance and relatedness of terms in different time frames were computed using VOSviewer. Co-occurrence graphs were used to visualize results. The development of exemplary terms over time was plotted separately. The number of research papers on mental health and environmental challenges is growing in a linear fashion. Major topics are climate change, chemical pollution, including psychiatric medication in wastewater, and neurobiological effects. Research on specific psychiatric syndromes and diseases, particularly on their ethical and social aspects is less prominent. There is a growing body of research literature on links between mental health, climate change, pollution, and deforestation. This research provides a graphic overview to mental healthcare professionals and political stakeholders. Social and ethical aspects of the climate change-mental health link have been neglected, and more research is needed. (shrink)

In this paper, we discuss some rather puzzling facts concerning the semantics of Warlpiri expressions of cardinality, i.e. the Warlpiri counterparts of English expressions like one,two, many, how many. The morphosyntactic evidence, discussed in section 1, suggests that the corresponding expressions in Warlpiri are nominal, just like the Warlpiri counterparts of prototypical nouns, eg. child. We also argue that Warlpiri has no articles or any other items of the syntactic category D(eterminer). In section 2, we describe three types of readings— (...) "definite", "indefinite" and "predicative"—which are generally found with Warlpiri nouns, including those which correspond to English common nouns and cardinality expressions. A partial analysis of these readings is sketched i n section 3. Since Warlpiri has no determiner system, we hypothesize that the source of (in)definiteness in this language is semantic. More specifically, we suggest that Warlpiri nominals are basically interpreted as individual terms or predicates of individuals and that their three readings arise as a consequence of the interaction of their basic meanings, which are specific to Warlpiri, with certain semantic operations, such as type shifting (Rooth and Partee 1982, Partee and Rooth 1983, Partee 1986, 1987), which universally can or must apply in the process of compositional semantic interpretation. (shrink)

Most theories of conditionals and attitudes do not analyze either phenomenon in terms of the other. A few view attitude reports as a species of conditionals (e.g. Stalnaker 1984, Heim 1992). Based on evidence from Kalaallisut, this paper argues for the opposite thesis: conditionals are a species of attitude reports. The argument builds on prior findings that conditionals are modal topic-comment structures (e.g. Haiman 1978, Bittner 2001), and that in mood-based Kalaallisut English future (e.g. Ole will win) translates into (...) a factual report of a prospect-oriented attitudinal state (e.g. expectation or anxiety, see Bittner 2005). It is argued that in conditionals the antecedent introduces a topical subdomain of an input modal base (Kratzer 1981) and requires the consequent to comment. The comment is a factual report of an attitude to the topical antecedent sub-domain. [This paper was published in 2011 as "Time and modality without tenses or modals"]. (shrink)

Natural languages exhibit a great variety of grammatical paradigms. For instance, in English verbs are grammatically marked for tense, whereas in the tenseless Eskimo-Aleut language Kalaallisut they are marked for illocutionary mood. Although time is a universal dimension of the human experience and speaking is part of that experience, some languages encode reference to time without any grammatical tense morphology, or reference to speech acts without any illocutionary mood morphology. Nevertheless, different grammatical systems are semantically parallel in certain respects. Specifically, (...) I propose that English tenses form a temporal centering system, which monitors and updates topic times, whereas Kalaallisut moods form a modal centering system, which monitors and updates modal discourse referents. To formalize these centering parallels I define a dynamic logic that represents not only changing information but also changing focus of attention in discourse (Update with Centering, formalizing Grosz et al 1995). Different languages can be translated into this typed logic by directly compositional universal rules of Combinatory Categorial Grammar (CCG) The resulting centering theory of tense and illocutionary mood draws semantic parallels across different grammatical systems. The centering generalizations span the extremes of the typological spectrum, so they are likely to be universal. In addition, the theory accounts for the translation equivalence of tense and illocutionary mood in a given utterance context. Following Stalnaker (1978) I assume that the very act of speaking up has a ‘commonplace effect’ on the context. It focuses attention on the speech act and thereby introduces default modal and temporal topics. These universal defaults complement language-specific grammars, e.g. English tenses and Kalaallisut moods. In a given utterance context the universal discourse-initial defaults plus language-specific grammatical marking may add up to the same truth conditions.. (shrink)

Formal semantics has so far focused on three categories of quantifiers, to wit, Q-determiners (e.g. 'every'), Q-adverbs (e.g. 'always'), and Q-auxiliaries (e.g. 'would'). All three can be analyzed in terms of tripartite logical forms (LF). This paper presents evidence from verbs with distributive affixes (Q-verbs) in Kalaallisut, Polish, and Bininj Gun-wok, which cannot be analyzed in terms of tripartite LFs. It is argued that a Q-verb involves discourse reference to a distributive verbal dependency, i.e. an episode-valued function that sends different (...) semantic objects in a contextually salient plural domain to different episodes. (shrink)

This book surveys the ways in which languages of different types refer to past, present, and future events and how these referents are related to the knowledge and attitudes of discourse participants. The book is the culmination of fifteen years of research by the author. Four major language types are examined in-depth: tense-based English, tense-aspect-based Polish, aspect-based Chinese, and mood-based Kalaallisut. Each contributes to a series of logical representation languages, which together define a common logical language that is argued to (...) underlie all language types. The four types differ in whether they choose to grammaticalize discourse reference to times (tense), events (aspect), and/or attitudes (mood), and how non-grammaticalized elements are inferred. The common logical language is a dynamic update logic, building on DRT and Centering Theory, but with a novel architecture—e.g. the distinction between focal vs. peripheral attention plays a key role, parallel to focal vs. peripheral vision. (shrink)

Last time we introduced the notion of an illocutionary perspective . The basic idea is that the very act of speaking up introduces several discourse referents. The speech act itself (e ) is introduced as the central perspective point ( ε ). In addition, all the speech spheres (p ) where this speech act is realized, as well as the worlds of each sphere (w ∈p ) are introduced as modal topics ( Ω and  ω ).

Featured course on "Dynamic Semantics" at NASSLLI 2016. Day 3: Indexicality. Abstract: Cross-linguistic evidence shows that indexicality, too, crucially involves context change. Speaking up focuses attention on that event and thereby makes it available for discourse reference (by "i", "you", etc). In Kalaallisut, this explains parallel grammatical marking of indexical reference and topic-oriented anaphora. Moreover, shiftable indexicals in Slavey show that certain expressions, e.g. attitude verbs, may update the top perspectival discourse referent from the speech event to an attitude state.

Amele (Papuan, New Guinea) is a tense-mood-based language (in the typology of Bittner 2014) with an elaborate system of clause chaining, including switch reference (SR) and serial verb constructions (SVC). This draft analyzes two interlinear Amele texts (from Roberts 2007) in Update with Centering of Bittner (2014). The basic idea is that an SR-chain is a topic-comment sequence about a 'topical development' — i.e. a topic time framing a chain of causally linked events. In contrast, an SVC is (...) a chain of verbs that jointly introduce a single eventuality into discourse. (shrink)

Formal semantics has so far focused on three categories of quantifiers, to wit, Q-determiners (e.g. 'every'), Q-adverbs (e.g. 'always'), and Q-auxiliaries (e.g. 'would'). All three can be analyzed in terms of tripartite logical forms (LF). This paper presents evidence from verbs with distributive affixes (Q-verbs), in Kalaallisut, Polish, and Bininj Gun-wok, which cannot be analyzed in terms of tripartite LFs. It is argued that a Q-verb involves discourse reference to a distributive verbal dependency, i.e. an episode-valued function that sends different (...) semantic objects in a contextually salient plural domain to different episodes. (shrink)

The standard way to represent anaphoric dependencies is to co-index the anaphor with its antecedent in the syntactic input to semantic rules, which then interpret such indices as variables. Dynamic theories (e.g. Kamp’s DRT, Heim’s File Change Semantics, Muskens’s Compositional DRT, etc) combine syntactic co-indexation with semantic left-to-right asymmetry. This captures the fact that the anaphor gets its referent from the antecedent and not vice versa. Formally, a text updates the input state of information to the output state. In particular, (...) an indexed antecedent updates the entity assigned to its index, and the output entity is then picked up as the referent by any subsequent co-indexed anaphor. (shrink)

Ergative languages make up a substantial percentage of the world’s languages. They have a case system which distinguishes the subject of a transitive verb from that of an intransitive, grouping the latter with the object — that is, the object of a transitive verb and the subject of an intransitive verb are in the same case, which we refer to as the nominative. However, ergative languages differ from one another in important ways. In Greenlandic Eskimo the nominative, whether it is (...) a subject or an object, is syntactically prominent in the clause, much like a subject in English; but in Warlpiri, the nominative is not prominent, more like an object. The variable prominence of the nominative manifests itself as well in the semantics, e.g., default scope of indefinite and quantified nominals. Using data from Greenlandic Eskimo and Warlpiri, and from Hindi, which represents a split ergative system, this paper develops a general theory of case which explains the observed differences amongst ergative languages. In addition, the theory is designed to account for the accusative language type, represented by English. (shrink)

Abstract According to an influential theory, English tenses are anaphoric to an aforementioned reference point. This point is sometimes construed as a time (e.g. Reichenbach 1947, Partee 1973, Stone 1997) and sometimes as an event (e.g. Kamp 1979, 1981, Webber 1988). Moreover, some researchers draw semantic parallels between tenses and pronouns (e.g. Partee 1973, 1984, Stone 1997), whereas others draw parallels between tenses and anaphorically anchored (in)definite descriptions (e.g. Webber 1988). This paper proposes a unified approach.

Featured course on "Dynamic Semantics" at NASSLLI 2016. Day 2: Anaphora. Abstract: Cross-linguistic evidence shows that anaphora crucially involves context change. The logical representation system must be able to represent rank-based anaphora, because in every language the favorite anaphors -- e.g. Mandarin zeros, Kalaallisut inflections, English pronouns -- are restricted to refer to top-ranked antecedents (top-level anaphors, like Mandarin zeros or Kalaallisut inflections) or top- or 2nd-ranked antecedents (shallow anaphors, like English pronouns).

Unlike English and Polish, Mandarin has no grammatical tense (TNS). Therefore, reference times are only introduced by temporal modifiers (contra Smith 1991/7, Wu 2003, Lin 2005, etc). In Mandarin discourse, the frequency of such modifiers (‘today’, ‘last night’, etc) is about the same (low) as in tensed languages (e.g. English, Polish) and plays a similarly marginal role in temporal discourse reference. This, however, does NOT mean that in tenseless Mandarin temporal relations between eventualities in discourse are in any way less (...) precise than in tensed languages. Rather, the issue is HOW temporal relations are established: indirectly , via reference times, or directly, without mediating reference times. Tensed English and Polish typically first introduce a topic time (by topic-setting TNS) and then locate verbal eventualities in relation to this temporal topic (by anaphoric TNS). (shrink)

David Ekdahl (2023), in a constructive and thoughtful commentary, outlines both points of agreement with and suggestions for further research arising from our paper ‘Crossing the Fictional Line: Moral Graveness, the Gamer’s Dilemma, and the Paradox of Fictionally Going Too Far’ (Montefiore & Formosa, 2023).

Un fait Mooréen, selon l'expression de David Lewis, est « l'une des choses que nous savons mieux que toute prémisse d'une argumentation philosophique visant à é tablir le contraire. » Le sujet des faits Mooréens soulève des questions profondes, à la fois de méthode philosophique et d'épistémologie de premier ordre. Comment devrions-nous répondre aux arguments qui remettent en question des croyances dont nous sommes extrêmement confiants ? Dans quelle mesure ces arguments – ou plutôt ceux qui les avancent – peuvent-ils (...) espérer avoir une emprise ou une traction rationnelle sur nous ? Dans quelle mesure, si même c'est le cas, notre point de départ limite-t-il les types de révisions de nos croyances que la philosophie pourrait légitimement inspirer ? Quand sommes-nous justifiés (si jamais nous le sommes) à refuser de se laisser influencer par un argument qui, pour autant qu'on puisse en juger, est sans faille, et quand un tel refus relève-t-il simplement du dogmatisme ? Ce sont là de vastes questions, auxquelles je ne tenterai pas ici de répondre complétement. Mon ambition, plus modeste, est de tenter de progresser sur ces questions, et d'autres questions connexes, en examinant la notion de fait Mooré que je trouve chez Lewis et chez d'autres. (shrink)

Some theories of goodness are descriptively rich: they have much to say about what makes things good. Neo-Aristotelian accounts, for instance, detail the various features that make a human being, a dog, a bee good relative to facts about those forms of life. Famously, such theories of relative goodness tend to be comparatively poor: they have little or nothing to say about what makes one kind of being better than another kind. Other theories of goodness—those that take there to be (...) absolute goodness—are comparatively rich: they offer grounds for judging some types of things better than others because they have more absolute goodness. Moorean accounts, for example, can tell us that humans and human experiences are superior to bees and blades of grass. But such theories tend to be descriptively poor: they struggle to tell us in virtue of what this is so. In this essay we motivate and flesh out a view that splits the difference between accounts of goodness as relative and accounts of goodness as absolute. Such a view holds promise only if the mechanics of this kind of metaphysics of goodness can be worked out. Here we present a view on which the paradigm for absolute goodness is God and the paradigm for each kind of relative goodness is a divine idea. (shrink)

Moral realists believe that there are objective moral truths. According to one of the most prominent arguments in favour of this view, ordinary people experience morality as realist-seeming, and we have therefore prima facie reason to believe that realism is true. Some proponents of this argument have claimed that the hypothesis that ordinary people experience morality as realist-seeming is supported by psychological research on folk metaethics. While most recent research has been thought to contradict this claim, four prominent earlier studies (...) indeed seem to suggest a tendency towards realism. My aim in this paper is to provide a detailed internal critique of these four studies. I argue that, once interpreted properly, all of them turn out in line with recent research. They suggest that most ordinary people experience morality as “pluralist-” rather than realist-seeming, i.e., that ordinary people have the intuition that realism is true with regard to some moral issues, but variants of anti-realism are true with regard to others. This result means that moral realism may be less well justified than commonly assumed. (shrink)

In recent years an increasing number of psychologists have begun to explore the prevalence, causes and effects of ordinary people’s intuitions about moral realism. Many of these studies have lacked in construct validity, i.e., they have failed to measure moral realism. My aim in this paper accordingly is to motivate and guide methodological improvements. In analysis of prominent existing measures, I develop general recommendations for overcoming ten prima facie serious worries about research on folk moral realism. G1 and G2 require (...) studies’ answer choices to be as metaethically comprehensive as methodologically feasible. G3 and G4 prevent fallacious inferences from intuitions about related debates. G5 and G6 limit first-order moral and epistemic influences. G7 address studies’ instructions. And G8 and G9 suggest tests of important psychological presuppositions. (shrink)

This paper challenges the widely held view that ‘good for’, ‘well-being’, and related terms express a distinctive evaluative concept of central importance for ethics and separate from ‘simply good’ as used by G. E. Moore and others. More specifically, it argues that there's no philosophically useful good-for or well-being concept that's neither merely descriptive in the sense of naturalistic nor reducible to ‘simply good’. The paper distinguishes two interpretations of the common claim that the value ‘good for’ expresses is distinctively (...) ‘subject-relative’. One concerns the ground of this value, or the properties that make something good for you; it says these must involve some relation to you. The other concerns the resulting value itself, or what supervenes on this ground; it says that too involves a relation. Neither interpretation, the paper argues, yields a significantly distinct evaluative concept. The ethically fundamental evaluative concept is just ‘simply good’. (shrink)

There is a close conceptual relation between the notions of religious disenchantment and scientific naturalism. One way of resisting philosophical and cultural implications of the scientific image and the subsequent process of disenchantment can be found in attempts at sketching a reenchanted worldview. The main issue of accounts of reenchantment can be a rejection of scientific results in a way that flies in the face of good reason. Opposed to such reenchantment is scientific naturalism which implies an entirely disenchanted worldview. (...) However, one of the main problems of scientific naturalism are placement problems. A reenchanted worldview does have the conceptual resources to avoid placement problems, yet seems to throw out the baby with the bathwater. A dilemma results: the Scylla of an undesirable scientific naturalism and the Charybdis of a rampant, seemingly prescientific reenchanted worldview. In this article I argue that there is a safe middle passage between these two options, i.e. the recently proposed liberal naturalism which allows for a moderate normative reenchantment. Liberal naturalism lets us have it both ways: avoiding the placement problems while retaining a necessary and reasonable adherence to science, thereby avoiding both an all-too restrictive scientific naturalism. (shrink)

In a series of pre-registered studies, we explored (a) the difference between people’s intuitions about indeterministic scenarios and their intuitions about deterministic scenarios, (b) the difference between people’s intuitions about indeterministic scenarios and their intuitions about neurodeterministic scenarios (that is, scenarios where the determinism is described at the neurological level), (c) the difference between people’s intuitions about neutral scenarios (e.g., walking a dog in the park) and their intuitions about negatively valenced scenarios (e.g., murdering a stranger), and (d) the difference (...) between people’s intuitions about free will and responsibility in response to first-person scenarios and third-person scenarios. We predicted that once we focused participants’ attention on the two different abilities to do otherwise available to agents in indeterministic and deterministic scenarios, their intuitions would support natural incompatibilism—the view that laypersons judge that free will and moral responsibility are incompatible with determinism. This prediction was borne out by our findings. (shrink)

Disagreement is a ubiquitous feature of human life, and philosophers have dutifully attended to it. One important question related to disagreement is epistemological: How does a rational person change her beliefs (if at all) in light of disagreement from others? The typical methodology for answering this question is to endorse a steadfast or conciliatory disagreement norm (and not both) on a priori grounds and selected intuitive cases. In this paper, I argue that this methodology is misguided. Instead, a thoroughgoingly Bayesian (...) strategy is what's needed. Such a strategy provides conciliatory norms in appropriate cases and steadfast norms in appropriate cases. I argue, further, that the few extant efforts to address disagreement in the Bayesian spirit are laudable but uncompelling. A modelling, rather than a functional, approach gets us the right norms and is highly general, allowing the epistemologist to deal with (1) multiple epistemic interlocutors, (2) epistemic superiors and inferiors (i.e. not just epistemic peers), and (3) dependence between interlocutors. (shrink)

Cosmovisione è un termine che dovrebbe significare un insieme di fondamenti da cui emerge una comprensione sistemica dell'Universo, delle sue componenti come la vita, il mondo in cui viviamo, la natura, il fenomeno umano e le sue relazioni. Si tratta, quindi, di un campo della filosofia analitica alimentato dalle scienze, il cui obiettivo è questa conoscenza aggregata ed epistemologicamente sostenibile su tutto ciò che siamo e conteniamo, che ci circonda e che in qualche modo si relaziona con noi. È qualcosa (...) di antico quanto il pensiero umano e, oltre a utilizzare elementi di cosmologia scientifica, racchiude tutto ciò che nella filosofia e nella scienza si riferisce all'universo e alla vita. Una cosmovisione non è un insieme d’idee, ipotesi e presupposti, ma un sistema basato su osservazione, analisi, prove e dimostrazione. Nessuna cosmovisione intende definire, stabilire, proporre, ma solo comprendere, analizzare e interpretare. Ognuno di noi costruisce e porta avanti la propria cosmovisione per tutta la vita, senza stabilire forme, come sfondo per il proprio pensiero e comportamento. Linguisticamente il termine “cosmovisione” deriverebbe dal tedesco, equivalente al concetto di“Weltanschauung”, utilizzato da diversi filosofi. Tuttavia, questa relazione linguistica non è applicabile perché contraddice ciò che proponiamo come cosmovisione. Questa parola tedesca rimanda a una visione prelogica o proto-sperimentale della realtà, con un contesto intuitivo e lontana da una conoscenza critica che non esisteva ancora al momento della sua formulazione. Senza dubbio, le cosmovisioni, nel senso in cui le intendiamo, ospitano e utilizzano questi elementi proto-sperimentali o prelogici che includono la storia, l’inconscio collettivo e tutti gli archetipi che portiamo con noi. Tuttavia, nel concetto che qui applichiamo, la cosmovisione va ben oltre questo contenuto, dapprima sottoponendolo costantemente al pensiero critico attuale e, infine, facendo dell'esperienza analitica (e non del pensiero o dell'intuizione stessa) il suo universo reale. In questo lavoro, cerchiamo di delineare una cosmovisione basata sulle realtà che la scienza offre oggi. Non proponiamo, in nessun momento, di fare scienza; o teorizzare la filosofia, ma cercheremo sempre di essere supportati da loro o, almeno, protetti da loro dalle distorsioni cognitive che abitualmente ci portiamo dietro. (shrink)

In “The Possibility of Epistemic Nudging” (2021), I address a phenomenon that is widely neglected in the current literature on nudges: intentional doxastic nudging, i.e. people’s intentional influence over other people’s beliefs, rather than over their choices. I argue that, at least in brute cases, nudging is not giving reasons, but rather bypasses reasoning altogether. More specifically, nudging utilizes psychological heuristics and the nudged person’s biases in smart ways. The goal of my paper is to defend the claim that nudging, (...) even when it bypasses reasoning, can result in justified beliefs and knowledge. As I argue, it takes two things to accomplish this goal: suitable meta-epistemological views and appropriate circumstances. If a broadly reliabilist account of justified beliefs and knowledge is correct, and if the relevant belief-forming methods are externally individuated in the right way, then nudging to knowledge is possible. If, in addition, the nudger is knowledgeable, epistemically benevolent and systematically effective, then nudging to knowledge will become reality. In their replies Neil Levy (2021) and Jonathan Matheson and Valerie Joly Chock (2021), put pressure on my argument from different angles. Levy thinks that a better case can be made for his view that nudging is giving testimonial reasons, and finds my objections to this view unconvincing. Matheson and Joly Chock, on the other hand, point out that acquiring knowledge through nudging (i.e. epistemic nudging) is compatible with evidentialism, even if nudging is not giving reasons. On their view, evidentialism provides an explanation of epistemic nudging that is superior to my own account, which, according to them, also suffers from a number of counterintuitive consequences. I am grateful to my critics for raising these concerns, because considering them deepens our perspective on the target phenomenon, and has made me think harder about the relevant epistemological issues. Nevertheless, I am convinced that my core claims can be defended against these criticisms. (shrink)

Subjects of Experience is as ambitious as it is contrary to the spirit of most of contemporary analytic metaphysics and philosophy of mind. The reader needs a scorecard to keep track of all the currently unfashionable positions that Lowe adopts in this courageous little book. While the work ranges broadly over many topics, Lowe’s account of the self is at its core, and will be the focus of this review. However, it should be noted that one of the virtues of (...) Subjects of Experience is its broad perspective. In addition to the book’s central discussion of the self, there are chapters on mental causation, perception, action, self-knowledge, and language, thought and imagination. (shrink)

I present an argument against the thesis of Uniqueness and in favour of Permissivism. Counterexamples to Uniqueness are provided, based on ‘Safespot’ propositions – i.e. a proposition that is guaranteed to be true provided the subject adopts a certain attitude towards it. The argument relies on a plausible principle: (roughly stated) If S knows that her believing p would be a true belief, then it is rationally permitted for S to believe p. One motivation for denying this principle – viz. (...) opposition to ‘epistemic consequentialism’ – is briefly discussed. The principle is extended to cover degrees of belief and compared with a couple of other well-known constraints on rational degrees of belief. (shrink)